AIR(Algebraic Intermediate Representation)